Verification, Validation, and Variability of Virtual Standards
نویسنده
چکیده
As the potential of computer modeling of hydration and microstructure development of cement-based materials approaches realization, the development of virtual standard test methods becomes a viable possibility. In creating these virtual standards, just as with the development of any physical standard test method, verification, validation (calibration), and variability must all be considered. These three issues will be discussed in reference to the ongoing development of a prototype virtual test method for the heat of hydration of ordinary portland cement within ASTM subcommittee C 01.26. The virtual test method employs the CEMHYD3D v3.0 cement hydration and microstructure development model and an early-age physical measurement of chemical shrinkage (via the ASTM C 1608 test method), to predict the 7-day and 28-day heat of hydration values in comparison to those measured via the ASTM C 186 Heat of Hydration test method in recent Cement and Concrete Reference Laboratory cement proficiency sample programs.
منابع مشابه
Verification and Validation of Common Derivative Terms Approximation in Meshfree Numerical Scheme
In order to improve the approximation of spatial derivatives without meshes, a set of meshfree numerical schemes for derivative terms is developed, which is compatible with the coordinates of Cartesian, cylindrical, and spherical. Based on the comparisons between numerical and theoretical solutions, errors and convergences are assessed by a posteriori method, which shows that the approximations...
متن کاملValidation and Verification of Software Systems Using Virtual Reality and Coloured Petri Nets
Validation and verification techniques have been identified as suitable mechanisms to determine if the software meets the needs of the user and to verify if the software works correctly. However, the existing verification techniques do not support friendly visualization. Also, validation techniques with friendly visualization mechanisms do not allow the verification of the system’s correctness....
متن کاملIs my model good enough? Best practices for verification and validation of musculoskeletal models and simulations of movement.
Computational modeling and simulation of neuromusculoskeletal (NMS) systems enables researchers and clinicians to study the complex dynamics underlying human and animal movement. NMS models use equations derived from physical laws and biology to help solve challenging real-world problems, from designing prosthetics that maximize running speed to developing exoskeletal devices that enable walkin...
متن کاملTimed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony
High-level modelling languages and standards, such as Simulink, UML, SysML, MARTE and AADL (Architecture Analysis & Design Language), meet increasing adoption in the design of embedded systems in order to carry out system-level analysis, verification and validation (V&V) and architecture exploration, as early as possible. These analysis, V&V, architecture exploration techniques rely on mathemat...
متن کاملVerifying a Vci Bus Interface Model Using an Lsc-based Specification
Because of the high stakes involved in integrating externally developed intellectual property (IP) cores used in System on Chip (SOC) designs, methods and tool support for quick, easy, decisive standard compliance verification must be developed. Such methods and tools include formal standard specifications that are easy to read, formal definitions of standard compliance and automatic generation...
متن کامل